function change_page(){
	sel = document.getElementById('page_num')
	val = sel.options[sel.selectedIndex].value
	location.href = 'index?page='+val
}